Le cours poème

Le projet Fresqueau. Exploiter les données massives concernant les cours d'eau

1. ICube, Université de Strasbourg, CNRS, ENGEES — Illkirch, France [email protected],[email protected] 2. TETIS, AgroParisTech, IRSTEA — Montpellier, France {maguelonne.teisseire,flavie.cernesson}@teledetection.fr 3. LIVE, Université de Strasbourg/ENGEES, CNRS — Strasbourg, France [email protected] 4. LIRMM, Université Montpellier 2, CNRS — Montpellier, France ...

Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée

Teaching high-school mathematics using a general theorem prover becomes a reachable goal for the near future. In this article, we present a library dealing with geometry in Coq. This library is dedicated to high-school teaching. We stress on using a graphical interface and a drawing tool which ease the accessibility to formal statements. We present some significant examples of statements with f...

Examen du cours MOPSI

1 Il s'agit du modèle du pendule linéarisé avec frottement visqueux. Le seul point d'équilibre est (x, v) = (0, 0). C'est un point d'équilibre stable, ce qu'on peut vérifier par exemple en utilisant la fonction de Lyapunov H(x, v) = (x 2 + v 2)/2. En fait, on montrera dans la suite que c'est un point d'équilibre asymptotiquement stable. 2 Il suffit de faire le calcul explicitement. On vérifie q...

Transparents Du Premier Cours

Examen du cours MOPSI

14 février 2013, 08h30-12h00. Corrigé. Exercice 1 : une équation aux dérivées partielles non linéaire.